亚像元动态成像技术中系统调制传递函数的数值分析

亚像元动态成像技术是目前实现遥感器小型化非常有效的新方法,因而研究亚像元动态成像系统的调制传递函数MTF显得非常必要和重要.介绍了亚像元动态成像的基本原理及成像过程,指出了光程差对亚像元动态成像系统MTF的影响.对亚像元动态成像系统的MTF进行了数值分析,并指出了亚像元动态成像系统的成像质量及空间分辨率与一般成像系统相比较的优点.     

多孔介质BISQ模型中的慢纵波

着重研究了多孔介质BISQ模型中慢纵波的基本特性.给出了BISQ模型下慢纵波速度 和衰减的低频近似公式.与Biot理论对比，BISQ模型中慢纵波的衰减随频率降低急剧增大， 且随喷射流长度的减小而增加；相速度随喷射流长度的减小而增加，其低频极限值不是零； 孔隙流体位移与固相骨架位移之比的幅值随喷射流长度的增加而减小，其相位特点与Biot模 型预测的不同；在流体与孔隙介质的边界上可产生更大的渗流.为对比，同时也给出快纵波 的行为.依据BISQ模型可推断：非黏滞流体饱和孔隙介质中不存在喷射流机理；BISQ模型中 关键词： 多孔介质 喷射流 慢纵波 动力协调     

强非线性吸收下高斯光束Z-扫描衍射理论模型

 摘要：在同时考虑非线性折射和非线性吸收的情况下，借助光的衍射理论，研究了Z-扫描技术的衍射理论模型，分析了非线性折射和非线性吸收同时存在时Z-扫描曲线的形状特征和变化规律。数值计算表明，非线性吸收相移和非线性折射相移的比值是影响接收小孔输出光功率的重要因素。要想得到好的光限幅效果，应选取非线性相移比值远小于1或远大于2的非线性材料。     

On the identification of degenerate indices in the nonlinear complementarity problem with the proximal point algorithm

In this paper we focus on the problem of identifying the index sets P(x):=i|x_i>0, N(x):={i|F_i(x)>0 and C(x):=i|x_i=F_i(x)=0} for a solution x of the monotone nonlinear complementarity problem NCP(F). The correct identification of these sets is important from both theoretical and practical points of view. Such an identification enables us to remove complementarity conditions from the NCP and locally reduce the NCP to a system which can be dealt with more easily. We present a new technique that utilizes a sequence generated by the proximal point algorithm (PPA). Using the superlinear convergence property of PPA, we show that the proposed technique can identify the correct index sets without assuming the nondegeneracy and the local uniqueness of the solution.This work was supported in part by a Grant-in-Aid for Scientific Research from the Ministry of Education, Science, Sports and Culture of Japan.Mathematics Subject Classification (2000): 90C33, 65K10     

Minimal expansions in redundant number systems: Fibonacci bases and Greedy algorithms

We study digit expansions with arbitrary integer digits in base q (q integer) and the Fibonacci base such that the sum of the absolute values of the digits is minimal. For the Fibonacci case, we describe a unique minimal expansion and give a greedy algorithm to compute it. Additionally, transducers to calculate minimal expansions from other expansions are given. For the case of even integer bases q, similar results are given which complement those given in [6].     

Piecewise Deterministic Markov Control Processes with Feedback Controls and Unbounded Costs

The control of piecewise-deterministic processes is studied where only local boundedness of the data is assumed. Moreover the discount rate may be zero. The value function is shown to be solution to the Bellman equation in a weak sense; however the solution concept is strong enough to generate optimal policies. Continuity and compactness conditions are given for the existence of nonrelaxed optimal feedback controls.     

Deciding confluence of certain term rewriting systems in polynomial time

We present a characterization of confluence for term rewriting systems, which is then refined for special classes of rewriting systems. The refined characterization is used to obtain a polynomial time algorithm for deciding the confluence of ground term rewrite systems. The same approach also shows the decidability of confluence for shallow and linear term rewriting systems. The decision procedure has a polynomial time complexity under the assumption that the maximum arity of a function symbol in the signature is a constant.     

Delta and singular delta locus for one‐dimensional systems of conservation laws

This work gives a condition for existence of singular and delta shock wave solutions to Riemann problem for 2×2 systems of conservation laws. For a fixed left‐hand side value of Riemann data, the condition obtained in the paper describes a set of possible right‐hand side values. The procedure is similar to the standard one of finding the Hugoniot locus. Fluxes of the considered systems are globally Lipschitz with respect to one of the dependent variables. The association in a Colombeau‐type algebra is used as a solution concept. Copyright © 2004 John Wiley &Sons, Ltd.     

Dynamic boundary stabilization of a Reissner–Mindlin plate with Timoshenko beam

This paper is concerned with well‐posedness results for a mathematical model for the transversal vibrations of a two‐dimensional hybrid elastic structure consisting of a rectangular Reissner–Mindlin plate with a Timoshenko beam attached to its free edge. The model incorporates linear dynamic feedback controls along the interface between the plate and the beam. Classical semigroup methods are employed to show the unique solvability of the coupled initial‐boundary‐value problem. We also show that the energy associated with the system exhibits the property of strong stability. Copyright © 2004 John Wiley & Sons, Ltd.